<?php
function goo($v){
	$v;
}
echo goo('1000');
run();
?>